$\forall$$M$:MsgA. Feasible($M$) $\Rightarrow$ ($\forall$$l$:IdLnk, ${\it tg}$:Id. AtomFree(Type;$M$.dout($l$,${\it tg}$)))